The Pandora System: An Interactive System for the Design of Data Communication Protocols

Gerard J. Holzmann was born in Amsterdam, The Netherlands, in 1951. He received the B.S. (1973) and M.S. (1976) degree in electrical engineering, and the Ph.D. (1979) degree in technical sciences from the Delft University of Technology in The Netherlands. He obtained a Fulbright Fellowship in 1979. From September 1979 to June 1980 he was with the University of Southern California in Los Angeles. From June 1980 to June 1981 he worked at the Computing Science Research Center of Bell Laboratories in Murray Hill. Dr. Holzmann is now an assistant professor at the Delft University of Technology. In Oct. 1981 he was awarded the Prof. Bahler prize by the Royal Dutch Institute of Engineers (KIVI) for his research on telecommunication systems.